Synthesizing Room Models from Message Sequence Chart Speciications

Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommendation Z.120. We show how these speci cations can be analyzed with respect to their software architectural content, including structure and behavior. We present algorithms for the automated synthesis of Real-Time Object-Oriented Modeling (ROOM) models from MSC speci cations and discuss their implementation in theMesa toolset. The automation of the synthesis contributes to making the transition from high-level, message exchange-oriented views to the level of a full life-cycle architecture description more e cient and reliable. This means that we are contributing to making Z.120 MSC speci cations more useful in the software engineering process.